Nuprl Definition : lt_int
9,38
postcript
pdf
i
<z
j
== if
i
<
j
then tt else ff
latex
Definitions
if
a
<
b
then
c
else
d
,
tt
,
ff
FDL editor aliases
lt_int
origin